A Refinement Methodology for Object-Oriented Programs

机译：面向对象程序的细化方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Asma Tafat; Sylvain Boulmé; Claude Marché;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A weakest precondition semantics for refinement of object-oriented programs [J] . Cavalcanti A., Naumann D.A. IEEE Transactions on Software Engineering . 2000,第8期

机译：用于优化面向对象程序的最弱前提语义
2. Development of an object-oriented finite element program with adaptive mesh refinement for multi-physics applications [J] . J.H. Nie, D.A. Hopkins, Y.T. Chen, Advances in Engineering Software . 2010,第4期

机译：开发具有自适应网格细化功能的面向对象的有限元程序，用于多物理场应用
3. Stepwise-refinement for performance: a methodology for many-core programming [J] . P. Hijma, R. V. van Nieuwpoort, C. J. H. Jacobs, Concurrency, practice and experience . 2015,第17期

机译：逐步完善性能：一种用于多核编程的方法
4. A Refinement Methodology for Object-Oriented Programs [C] . Asma Tafat, Sylvain Boulme, Claude Marche International Conference on Formal Verification of Object-Oriented Software . 2011

机译：面向对象程序的细化方法
5. From object-oriented specification to implementation: A formal refinement methodology. [D] . Yoo, Moonsung. 1996

机译：从面向对象的规范到实现：正式的改进方法。
6. Frequent Statement and Dereference Elimination for Imperative and Object-Oriented Distributed Programs [O] . Mohamed A. El-Zawawy -1

机译：强制性和面向对象的分布式程序的频繁声明和取消引用消除
7. Class refinement and interface refinement in object-oriented programs [O] . Anna Mikhajlova, Emil Sekerinski 1997

机译：面向对象程序中的类细化和接口细化
8. A programming environment evaluation methodology for object-oriented systems [R] . Moreau, Dennis R. 1987

机译：面向对象系统的编程环境评估方法

A Refinement Methodology for Object-Oriented Programs

著录项

引文网络

相似文献

相关主题

期刊订阅